#include <stdio.h>

void println(char* s)
{
	printf("%s\r\n", s);
}
